`padlock.h` is actually an internal header and is moved accordingly. Signed-off-by: Chris Jones <christopher.jones@arm.com>